Google scholarI am a 4th year Computer Science PhD student at CMU, where I’m advised by the amazing Marijn Heule. For a more detailed biography of myself you can click here.
Research statement. I am passionate about several topics in discrete mathematics and theoretical computer science. My current focus is on the intersection between automated reasoning (e.g., SAT solving) and mathematics. I also have signficant experience in theoretical explainability/interpretability in AI, online algorithms, and the study of combinatorial games.
Social statement. I deeply believe that Math and CS are some of the most beautiful collective enterprises of humankind. Understanding Math and CS as human activities that take place inside human communities is crucial for me. As a consequence, I am very interested in: peer review, philosophy of science, history of mathematics, and thinking about how we can better leverage computers for doing mathematics. A long term goal of mine is to contribute to the development of the theoretical CS community in Chile and South America. If you are interested in my research, or discussing anything else mentioned here, please reach out to me!